Effective Reduction and Conversion Strategies for Combinators

An effective one-step hyperperpetual reduction strategy for combinators

There is an effective one-step cofinal reduction strategy for combinators

Conjunctive Types and SKInT

1 Introduction The-calculus and its typed versions are important tools for studying most fundamental computation and deduction paradigms. However, the non-trivial nature of substitution, as used in the deenition of-reduction notably, has spurred the design of various rst-order languages representing-terms,-reduction and-conversion, where computation is simple, rst-order rewriting, and substitut...

Parallel Combinator Reduction: Some Performance Bounds

A parallel graph reduction machine simulator is described. This performs combinator reduction and can simulate various different parallel reduction strategies. A number of functional programs are examined, and experimental results presented comparing the amount of parallelism obtainable using explicit divide-and-conquer with the maximum amount of parallelism available in the programs. Ke ywords...

Optimization and Modeling of CuOx/OMWNT’s for Catalytic Reduction of Nitrogen Oxides by Response Surface Methodology

A series of copper oxide (CuOx) catalysts supported by oxidized multi-walled carbon nanotubes (OMWNT’s) were prepared by the wet impregnation method for the low temperature (200 °C) selective catalytic reduction of nitrogen oxides (NOx) using NH3 as a reductant agent in the presence of excess oxygen. These catalysts were characterized by FTIR, XRD, SEM-EDS, and H2-TPR meth...